Possible World Semantics and True-True Counterfactuals
نویسندگان
چکیده
منابع مشابه
Possible World Semantics and True-True Counterfactuals
The standard semantics for counterfactuals ensures that any counterfactual with a true antecedent and true consequent is itself true. There have been many recent attempts to amend the standard semantics to avoid this result. I show that these proposals invalidate a number of further principles of the standard logic of counterfactuals. The case against the automatic truth of counterfactuals with...
متن کاملPossible Worlds Semantics and True-True Counterfactuals
The standard semantics for counterfactuals ensures that any counterfactual with a true antecedent and true consequent is itself true. There have been many recent attempts to amend the standard semantics to avoid this result. I show that these proposals invalidate a number of further principles of the standard logic of counterfactuals. The case against the automatic truth of counterfactuals with...
متن کاملPerformance Analysis and True Concurrency Semantics
Thi s paper addresses the subject of linking functional speciications to performance analysi s i n a process al gebrai c context. It presents a timed, probabilistic extension of a process al gebrai c formal i sm and its application to performance analysis. More specii-cally, an extensi on of a subset of LOTOS is presented equipped with a truly concurrent semanti cal model based on bundl e event...
متن کاملMetric Semantics for True Concurrent Real Time
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interleaving setting and is based on a timed extension of Langerak's bundle event structures, a variant of Winskel's event structures. The distance function of the metric is based on the amount of time to which event structur...
متن کاملA True Concurrency Semantics for ET-LOTOS
One of the central objectives of the LOTOS re-standardisation activity is to deene an enhanced LOTOS language which supports real-time speciica-tion. The timed extension is based upon a timed LOTOS proposal ET-LOTOS. This paper deenes a (branching-time) non-interleaving semantics for ET-LOTOS without data. As a denotational model a suitable timed extension of Langerak's bundle event structures ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Philosophical Quarterly
سال: 2015
ISSN: 0279-0750
DOI: 10.1111/papq.12067